Optimal. Leaf size=173 \[ \frac{2 (d+e x)^{3/2} (A c e-b B e+B c d)}{3 c^2}+\frac{2 \sqrt{d+e x} \left (A c e (2 c d-b e)+B (c d-b e)^2\right )}{c^3}-\frac{2 (b B-A c) (c d-b e)^{5/2} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d+e x}}{\sqrt{c d-b e}}\right )}{b c^{7/2}}-\frac{2 A d^{5/2} \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{b}+\frac{2 B (d+e x)^{5/2}}{5 c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.362408, antiderivative size = 173, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 4, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.154, Rules used = {824, 826, 1166, 208} \[ \frac{2 (d+e x)^{3/2} (A c e-b B e+B c d)}{3 c^2}+\frac{2 \sqrt{d+e x} \left (A c e (2 c d-b e)+B (c d-b e)^2\right )}{c^3}-\frac{2 (b B-A c) (c d-b e)^{5/2} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d+e x}}{\sqrt{c d-b e}}\right )}{b c^{7/2}}-\frac{2 A d^{5/2} \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{b}+\frac{2 B (d+e x)^{5/2}}{5 c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 824
Rule 826
Rule 1166
Rule 208
Rubi steps
\begin{align*} \int \frac{(A+B x) (d+e x)^{5/2}}{b x+c x^2} \, dx &=\frac{2 B (d+e x)^{5/2}}{5 c}+\frac{\int \frac{(d+e x)^{3/2} (A c d+(B c d-b B e+A c e) x)}{b x+c x^2} \, dx}{c}\\ &=\frac{2 (B c d-b B e+A c e) (d+e x)^{3/2}}{3 c^2}+\frac{2 B (d+e x)^{5/2}}{5 c}+\frac{\int \frac{\sqrt{d+e x} \left (A c^2 d^2+\left (B (c d-b e)^2+A c e (2 c d-b e)\right ) x\right )}{b x+c x^2} \, dx}{c^2}\\ &=\frac{2 \left (B (c d-b e)^2+A c e (2 c d-b e)\right ) \sqrt{d+e x}}{c^3}+\frac{2 (B c d-b B e+A c e) (d+e x)^{3/2}}{3 c^2}+\frac{2 B (d+e x)^{5/2}}{5 c}+\frac{\int \frac{A c^3 d^3+\left (B (c d-b e)^3+A c e \left (3 c^2 d^2-3 b c d e+b^2 e^2\right )\right ) x}{\sqrt{d+e x} \left (b x+c x^2\right )} \, dx}{c^3}\\ &=\frac{2 \left (B (c d-b e)^2+A c e (2 c d-b e)\right ) \sqrt{d+e x}}{c^3}+\frac{2 (B c d-b B e+A c e) (d+e x)^{3/2}}{3 c^2}+\frac{2 B (d+e x)^{5/2}}{5 c}+\frac{2 \operatorname{Subst}\left (\int \frac{A c^3 d^3 e-d \left (B (c d-b e)^3+A c e \left (3 c^2 d^2-3 b c d e+b^2 e^2\right )\right )+\left (B (c d-b e)^3+A c e \left (3 c^2 d^2-3 b c d e+b^2 e^2\right )\right ) x^2}{c d^2-b d e+(-2 c d+b e) x^2+c x^4} \, dx,x,\sqrt{d+e x}\right )}{c^3}\\ &=\frac{2 \left (B (c d-b e)^2+A c e (2 c d-b e)\right ) \sqrt{d+e x}}{c^3}+\frac{2 (B c d-b B e+A c e) (d+e x)^{3/2}}{3 c^2}+\frac{2 B (d+e x)^{5/2}}{5 c}+\frac{\left (2 A c d^3\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{b e}{2}+\frac{1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt{d+e x}\right )}{b}+\frac{\left (2 (b B-A c) (c d-b e)^3\right ) \operatorname{Subst}\left (\int \frac{1}{\frac{b e}{2}+\frac{1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt{d+e x}\right )}{b c^3}\\ &=\frac{2 \left (B (c d-b e)^2+A c e (2 c d-b e)\right ) \sqrt{d+e x}}{c^3}+\frac{2 (B c d-b B e+A c e) (d+e x)^{3/2}}{3 c^2}+\frac{2 B (d+e x)^{5/2}}{5 c}-\frac{2 A d^{5/2} \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )}{b}-\frac{2 (b B-A c) (c d-b e)^{5/2} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d+e x}}{\sqrt{c d-b e}}\right )}{b c^{7/2}}\\ \end{align*}
Mathematica [A] time = 0.235833, size = 174, normalized size = 1.01 \[ \frac{2 \left (\frac{(b B-A c) \left (5 (c d-b e) \left (\sqrt{c} \sqrt{d+e x} (-3 b e+4 c d+c e x)-3 (c d-b e)^{3/2} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d+e x}}{\sqrt{c d-b e}}\right )\right )+3 c^{5/2} (d+e x)^{5/2}\right )}{c^{7/2}}+A \sqrt{d+e x} \left (23 d^2+11 d e x+3 e^2 x^2\right )-15 A d^{5/2} \tanh ^{-1}\left (\frac{\sqrt{d+e x}}{\sqrt{d}}\right )\right )}{15 b} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.014, size = 516, normalized size = 3. \begin{align*}{\frac{2\,B}{5\,c} \left ( ex+d \right ) ^{{\frac{5}{2}}}}+{\frac{2\,Ae}{3\,c} \left ( ex+d \right ) ^{{\frac{3}{2}}}}-{\frac{2\,bBe}{3\,{c}^{2}} \left ( ex+d \right ) ^{{\frac{3}{2}}}}+{\frac{2\,Bd}{3\,c} \left ( ex+d \right ) ^{{\frac{3}{2}}}}-2\,{\frac{Ab{e}^{2}\sqrt{ex+d}}{{c}^{2}}}+4\,{\frac{Ade\sqrt{ex+d}}{c}}+2\,{\frac{B{e}^{2}{b}^{2}\sqrt{ex+d}}{{c}^{3}}}-4\,{\frac{bBde\sqrt{ex+d}}{{c}^{2}}}+2\,{\frac{B{d}^{2}\sqrt{ex+d}}{c}}-2\,{\frac{A{d}^{5/2}}{b}{\it Artanh} \left ({\frac{\sqrt{ex+d}}{\sqrt{d}}} \right ) }+2\,{\frac{A{b}^{2}{e}^{3}}{{c}^{2}\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }-6\,{\frac{Abd{e}^{2}}{c\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }+6\,{\frac{A{d}^{2}e}{\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }-2\,{\frac{A{d}^{3}c}{b\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }-2\,{\frac{B{e}^{3}{b}^{3}}{{c}^{3}\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }+6\,{\frac{{b}^{2}Bd{e}^{2}}{{c}^{2}\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }-6\,{\frac{bB{d}^{2}e}{c\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) }+2\,{\frac{B{d}^{3}}{\sqrt{ \left ( be-cd \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c}{\sqrt{ \left ( be-cd \right ) c}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 20.3992, size = 2187, normalized size = 12.64 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 121.973, size = 199, normalized size = 1.15 \begin{align*} \frac{2 A d^{3} \operatorname{atan}{\left (\frac{\sqrt{d + e x}}{\sqrt{- d}} \right )}}{b \sqrt{- d}} + \frac{2 B \left (d + e x\right )^{\frac{5}{2}}}{5 c} + \frac{\left (d + e x\right )^{\frac{3}{2}} \left (2 A c e - 2 B b e + 2 B c d\right )}{3 c^{2}} + \frac{\sqrt{d + e x} \left (- 2 A b c e^{2} + 4 A c^{2} d e + 2 B b^{2} e^{2} - 4 B b c d e + 2 B c^{2} d^{2}\right )}{c^{3}} - \frac{2 \left (- A c + B b\right ) \left (b e - c d\right )^{3} \operatorname{atan}{\left (\frac{\sqrt{d + e x}}{\sqrt{\frac{b e - c d}{c}}} \right )}}{b c^{4} \sqrt{\frac{b e - c d}{c}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.45418, size = 427, normalized size = 2.47 \begin{align*} \frac{2 \, A d^{3} \arctan \left (\frac{\sqrt{x e + d}}{\sqrt{-d}}\right )}{b \sqrt{-d}} + \frac{2 \,{\left (B b c^{3} d^{3} - A c^{4} d^{3} - 3 \, B b^{2} c^{2} d^{2} e + 3 \, A b c^{3} d^{2} e + 3 \, B b^{3} c d e^{2} - 3 \, A b^{2} c^{2} d e^{2} - B b^{4} e^{3} + A b^{3} c e^{3}\right )} \arctan \left (\frac{\sqrt{x e + d} c}{\sqrt{-c^{2} d + b c e}}\right )}{\sqrt{-c^{2} d + b c e} b c^{3}} + \frac{2 \,{\left (3 \,{\left (x e + d\right )}^{\frac{5}{2}} B c^{4} + 5 \,{\left (x e + d\right )}^{\frac{3}{2}} B c^{4} d + 15 \, \sqrt{x e + d} B c^{4} d^{2} - 5 \,{\left (x e + d\right )}^{\frac{3}{2}} B b c^{3} e + 5 \,{\left (x e + d\right )}^{\frac{3}{2}} A c^{4} e - 30 \, \sqrt{x e + d} B b c^{3} d e + 30 \, \sqrt{x e + d} A c^{4} d e + 15 \, \sqrt{x e + d} B b^{2} c^{2} e^{2} - 15 \, \sqrt{x e + d} A b c^{3} e^{2}\right )}}{15 \, c^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]